void PrintHTTPResponseHeader(void);
void PrintHTMLHead(const char * const htmlTitle, const char * const headLine, const char * const slogan);
void PrintHTMLStyles(void);
void PrintHTMLEnd(void);